using System;
using System.Collections.Generic;
using System.Text;
using OEIShared.IO;


namespace HotkeysPlugin
{
    public class PrefsManager
    {
        private Preferences m_prefs;
        private static PrefsManager me = null;
        private PrefsManager () {
        }

        public static Preferences prefs {
            get {
                if (me == null) {
                    me = new PrefsManager ();
                    me.m_prefs = new Preferences ();
                }
                return me.m_prefs;
            }
            set {
                if (me == null) {
                    me = new PrefsManager ();
                }
                me.m_prefs = value;
            }
        }
    }
}
